inlining problem; fixing it properly later on