#!/bin/bash

sed "/^\/\//d" $1 |\
sed "/^\/\*/,/\*\/$/d"