#!/bin/bash

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