Filter out symbols defined by the C implementation